Editorial - Formal Methods in Computing
نویسندگان
چکیده
منابع مشابه
Guest Editorial: Formal Methods
We’d better start by defining terms, since the phrase Formal Methods (FM) can have a wide range of connotations in Computer Science. For the purpose of this Special Theme Issue, ‘Formal Methods’ means the use of mathematical techniques for the construction of computing systems, with a particular focus on the construction of industrial scale systems. The focus on large systems is significant. Th...
متن کاملFormal Methods Guest Editorial
This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief introductions to the remaining papers in the Special Issue are given.
متن کاملSpecial Issue on Formal Methods for Visual Interaction (Editorial)
INTEREST IN THE DESIGN and development of interactive visual applications has increased considerably over the last few years. The underlying reason for this is the need to allow the maximum number of people to access software applications for the widest number of purposes and in the widest number of contexts. There is also growing interest in the application of formal methods to visual interact...
متن کاملEditorial: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
Specialty section: This article was submitted to Bioinformatics and Computational Biology, a section of the journal Frontiers in Bioengineering and Biotechnology The functional properties of living organisms have a complexity exceeding the human capacity for analysis. A basic conviction in computational biology is that it should be possible to develop computational tools allowing us to consider...
متن کاملFormal Methods Unifying Computing Science and Systems Theory
Computing Science and Systems Theory can gain much from unified mathematical models and methodology, in particular formal reasoning (“letting the symbols do the work”). This is achieved by a wide-spectrum formalism. The language uses just four constructs, yet suffices to synthesize familiar notations (minus the defects) as well as new ones. It supports formal calculation rules convenient for ha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1989
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/32.5.385